type int = number;
//class AttackInfoType

    export  class AttackInfoType
    {
       

        public static /* const */All: int=0;

        public static /* const */PetExplore: int=1;

        public static /* const */NewBattle: int=2;
    }
